#ifndef _READLINE_H
#define _READLINE_H

#include <config.h>

extern char console_buffer[CONFIG_SYS_CBSIZE]; 

int readline(const char *prompt);

#endif /* _READLINE_H */
